Update stdlib_man_section.dpatch
authorStephane Glondu <steph@glondu.net>
Mon, 20 Oct 2008 13:00:56 +0000 (15:00 +0200)
committerStephane Glondu <steph@glondu.net>
Mon, 20 Oct 2008 13:28:53 +0000 (15:28 +0200)
commitb851753c535857b6f17d928fcdf8d5f1a1137f68
treed366e4f4fa5d2d288c2e8bbf3923a9f02aeb69fa
parent6ceb4e55c339a3d8a87fc782d1420be2471a01be
Update stdlib_man_section.dpatch
debian/patches/stdlib_man_section.dpatch